An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-Random Reals

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-Random Reals

Van Lambalgen’s Theorem plays an important role in algorithmic randomness, especially when studying relative randomness. In this paper we extend van Lambalgen’s Theorem by considering the join of infinitely many reals which are random relative to each other. In addition, we study computability of the reals in the range of Omega operators. It is known that φ ′ is high. We extend this result to ...

متن کامل

An extension of the Wedderburn-Artin Theorem

‎In this paper we give conditions under which a ring is isomorphic to a structural matrix ring over a division ring.

متن کامل

Random Reals and Ω 1 →

The purpose of this note will be to extend the results of J. Barnett and S. Todorčević concerning the influence MAא1 has on random graphs. I will demonstrate that if MAא1 holds then ω1 → (ω1, (α : α)) holds for every α < ω1 after the addition of any number of random reals.

متن کامل

A Proof That Thompson’s Groups Have Infinitely Many Relative Ends

We show that each of Thompson’s groups F , T , and V has infinitely many ends relative to the groups F[0,1/2], T[0,1/2], and V[0,1/2) (respectively). As an application, we simplify the proof, due to Napier and Ramachandran, that F , T , and V are not Kähler groups. We go on to show that Thompson’s groups T and V have Serre’s property FA. The main theorems together answer a question on Bestvina’...

متن کامل

There Are 2א0 Many H-degrees in the Random Reals

We prove that there are 2א0 many H-degrees in the random reals.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Notre Dame Journal of Formal Logic

سال: 2010

ISSN: 0029-4527

DOI: 10.1215/00294527-2010-020